/**
 * The specific attribute is the value of the integer.
 * It could be a string since we never use the value in integer operations.
 * @author MLB
 *
 */
public class IntegerAttribute extends GenericAttribute{
    public int value;

    public IntegerAttribute(int v){
	super(TypeSystem.T_c_integer);
	value = v;
    }
    /**
     * For code 3a printing
     */
    public String getName3a(){
	return String.valueOf(value);
    }
}
